/*@*/
int foo (int a, int b)
{
  int i;
  int j;
  int k;
  int * p;
  
  k = 9;
  
  if (i>0)
    {i = 0 + 8 + 6 + 5 + 444;
     j = 0;
     j = k;
     i = j;}
  else {i = 9;}
  
  return i;
  
  
}
/*@*/
/*@*/
int main ()
{
  int i;
  int j;
  int k;
  int * p;
  
  k = 9;
  
  if (i>0)
    {i = foo (0, 0);
     j = 0;
     j = k;
     i = j;}
  else {i = 9;}
  
  return i;
  
  
}
/*@*/

